Back Formalna gramatika BS Gramàtica formal Catalan Formální gramatika Czech Formale Grammatik German Τυπική γραμματική Greek Formal grammar English Formala gramatiko Esperanto Gramática formal Spanish Formaalne grammatika Estonian دستور صوری Persian
 | Bu məqaləni vikiləşdirmək lazımdır. |
Formal qrammatika — dedikdə elə qaydalar sistemi başa düşülür ki, onun vasitəsilə verilmiş formal dilin(yalnız bu dilin) düzgün sözləri qura bilir. Qrammatika vasitəsilə qurulan formal dilin sözlər çoxluğu sonlu, sonsuz, və ya boş çoxluq ola bilər. Qrammatika sözlər çoxluğunu ixtiyari qaydada qura, yaxud müəyyənləşdirə bilər. Beləliklə, qrammatika sözlərin daxili quruluşunun qanunlarını açıqlayır ki, bunlara sintaksis deyilir. Formal qrammatika— müəyyən sintaksis nəzəriyyə çərçivəsində qurulan qrammatik riyazi modeldir.